Using model-based analysis in certification of critical software-intensive systems
نویسندگان
چکیده
Software is taking over more and more functionality in most technical systems, which leads to the term software-intensive or cyber-physical systems. Although this offers many exciting new opportunities, it also makes precise analysis of safety and reliability goals much more complicated. Well-known traditional techniques often reach their limits. Model-based approaches on the other hand can be useful for solving some of these problems. However, in industrial practice answering the question alone is often not sufficient. It is also necessary to explain how answers were found. In this paper, we will show some of the capabilities of modern model-based analysis methods and highlight how they possibly could be used in safety engineering resp. what obstacles need to be avoided.
منابع مشابه
Software Certification : Methods and Tools
With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements...
متن کاملTowards Modular Certification using Integrated Model-Based Safety Cases
Software-intensive systems are characterized by an increasing number of features implementing complex functionalities. In many domains, these new functionalities perform more and more safety-critical tasks. To argue about the safety of such systems, Safety Cases are a proven technique that allows a systematic argumentation. Safety Cases may contain complex arguments that can be decomposed corre...
متن کاملReliability in Agile Software Engineering: A Dilemma
While agile software engineering methods have been successfully applied to many software application areas, their adoption in the domain of safety-critical and high-reliability systems has been hampered by a lack of appropriate reliability techniques. In contrast, traditional development approaches have relied on traceability-based techniques for the verification and certification of reliabilit...
متن کاملTowards Test-Driven and Architecture Model-Based Security and Resilience Engineering
The quality of software systems depends strongly on their architecture. For this reason, taking into account non-functional requirements at architecture level is crucial for the success of the software development process. Early architecture model validation facilitates the detection and correction of design errors. In this research, the authors are interested in security critical systems, whic...
متن کاملCertification of software in safety - critical I & C systems of nuclear power plants
Nuclear power plants have well-defined processes to acquire and qualify safety-critical systems. Ultimate goal is to maximise safety, without compromises in quality and reliability. Each new device and system in nuclear power plant shall be classified and qualified according to its safety requirements. Using modern technology means in practice that more and more components have programmable fea...
متن کامل